1. Logical dilemmas :
Author: John W. Dawson, Jr
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Gödel, Kurt,Logicians-- Austria, Biography,Logicians-- United States, Biography
Classification :
QA29
.
G58
D39
1997
2. Logical dilemmas : the life and work of Kurt Godel
Author: Dawson, Jr., John W.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Godel, Kurt Friedrich, 6091-8791,Biography ، Logicians -- United States,Biography ، Logicians -- Austria,Biography ، Mathematicians -- United States,Biography ، Mathematicians -- Austria
Classification :
QA
29
.
G58D3
3. Why prove it again? :
Author: John W. Dawson, Jr., with the assistance of Bruce S. Babcock and with a chapter by Steven H. Weintraub
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Proof theory.
Classification :
QA9
.
54
